Linear group - PDFSEARCH.IO - Document Search Engine

Linear group
Results: 750

#	Item
431	LNCS[removed]A Linear Logic of Authorization and Knowledge Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:08 Deduction Logical consequence Propositional calculus Automated theorem proving Sequent calculus Amenable group Monotonicity of entailment Entailment Linear logic Logic Mathematical logic Proof theory
432	Physical Chemistry Chem 131B 3: Group theory Linear operators Add to Reading List Source URL: eee.uci.edu Language: English Symbol Matrix Operator theory Spectral theory of ordinary differential equations
433	A Linear Logic of Authorization and Knowledge⋆ Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning and Michael K. Reiter Carnegie Mellon University Abstract. We propose a logic for specifying security policies at Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:08 Deduction Logical consequence Propositional calculus Geometric group theory Entailment Monotonicity of entailment Amenable group Sequent calculus Linear logic Logic Mathematical logic Proof theory
434	1 Re: Note on filter used at USGS/NEIC for short-period signals to determine mb From: Won-Young Kim, Lamont-Doherty Earth Observatory of Columbia University To: Members of the IASPEI Working Group on Magnitude Date: Apri Add to Reading List Source URL: www.ldeo.columbia.edu Language: English - Date: 2002-04-15 14:30:40 Electromagnetism Signal processing Filter theory Electronic filter Filter Seismometer Band-pass filter National Earthquake Information Center Electronic engineering Electronics Linear filters
435	Scientific Computing Within the ORNL Modeling and Simulation Group: SuperCode - Problem Solving Environment for Optimization and Uncertainty Analysis Probability Add to Reading List Source URL: computing.ornl.gov Language: English - Date: 2008-01-04 10:31:40 Science Mathematical sciences Statistical theory Quality Uncertainty Genetic algorithm Linear programming Nonlinear programming Optimal design Statistics Mathematical optimization Operations research
436	TECHNICAL REPORT IGE-295 A DESCRIPTION OF THE DRAGON AND TRIVAC VERSION4 DATA STRUCTURES Add to Reading List Source URL: www.polymtl.ca Language: English - Date: 2014-09-11 14:49:32 Dietary minerals Group theory Linear algebra Vector space Cp Vanadium Algebra Mathematics Chemical elements
437	ADJACENCY MODELING TOOL FOR CIVIL INFRASTRUCTURE ASSETS Shabani Kachua1 Department of Civil Engineering (Pavement Group), UNB Donath Mrawira, PhD, PEng2 Associate Professor & the Add to Reading List Source URL: www.ctrf.ca Language: English - Date: 2012-11-12 13:08:54 Infrastructure asset management Asset management Linear referencing Business GIS-Centric Science Structure Enterprise asset management Management Infrastructure Geographic information system
438	Nursing Home Work Group - October 13, 2009 Add to Reading List Source URL: www.health.ny.gov Language: English - Date: 2012-03-22 12:36:30 Econometrics Regression analysis Healthcare Health informatics Housing Nursing home Minimum Data Set Medicaid Linear regression Statistics Health Medicine
439	SLAC_Logo_Stacked_Line_4C_Brochure Add to Reading List Source URL: www-group.slac.stanford.edu Language: English - Date: 2013-10-24 17:18:33 United States Department of Energy National Laboratories SLAC National Accelerator Laboratory Linear particle accelerator Office of Science Book:SLAC National Accelerator Laboratory Persis Drell Physics Particle accelerators Stanford University
440	zoo: An S3 Class and Methods for Indexed Totally Ordered Observations Achim Zeileis Gabor Grothendieck Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 16:52:33 Linear algebra Group theory Vector space Vectors Database index Extensible Storage Engine R Index Time series Algebra Mathematics Abstract algebra

UPDATE